1. ......................
پدیدآورنده : Colloquium on Trees in Algebra and Programming )DAAP58(, edited by Hartmut Ehrig... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Development - Mathematics - Congresses ، Computer software,Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
76
.
D47
I57
1985
vol
.
1
2. Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings
پدیدآورنده : edited by D. Bjorner
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
86
3. Abstract software specifications, 1979 Copenhagen Winter School, January 22-February 2, 1979
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital Computers-- Programming-- Congresses
رده :
QA
76
.
6
.
W51
1979
4. Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings
پدیدآورنده : edited by Peter J.L. Wallis
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Ada )Computer program language(,Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
180
5. Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings
پدیدآورنده : Ada Software Tools Interfaces Workshop )3891: Bath, England(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Ada )Computer program language(-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
73
.
A35
.
A34
1983
6. Advanced course on software Engineering munich 1971. Soptware engineering: an advanced course
پدیدآورنده : F.L.Baver... )et al( edited by F.L.Bover
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Electronic digital computers - programming - congresses,، Programming language )Electronic computers( - congresses
رده :
QA
76
.
6
.
A33
1975
7. Advances in Computers
پدیدآورنده : \ Edited by atif memon, Ali r. Hurson
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a03,a03,Software engineering.,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
QA
76
.
2
.
A394
2015
E-Book
,
8. Algebraic Informatics
پدیدآورنده : \ Andreas Maletti (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار ,زبانهای برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- داده‌پردازی -- کنگره ها
رده :
QA
76
.
76
.
A55
2015
E-Book
,
9. An introduction to engineered software
پدیدآورنده : / Will D. Gillett, Seymour V. Pollack
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Electronic digital computers - Programming
رده :
001
.
642
G479
10. An introduction to engineered software
پدیدآورنده : Gillett, Will D
کتابخانه: (طهران)
موضوع : ، Electronic digital computers -- Programming
رده :
QA
76
.
6
.
G554
1982
11. An introduction to engineered software
پدیدآورنده : Gillett, Will D.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Electronic digital computers- Programming
رده :
QA
76
.
6
.
G554
12. Applications of continuous mathematics to computer science /
پدیدآورنده : by Hung T. Nguyen, Vladik Kreinovich.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Computer science-- Mathematics.,COMPUTERS.,CONTINUITY (MATHEMATICS),Informatik,MATHEMATICS.,Mathematik
رده :
QA76
.
9
.
M35
N49
1997
13. Architectural issues
پدیدآورنده : / edited by Marvin V. Zelkowitz
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer architecture.,Software architecture.,Computer engineering.,Electronic books.--local
رده :
QA
,
76
,.
A3
,
v
.
61
,
2004eb
14. Assemblers, compilers, and program translation
پدیدآورنده : Calingaert, Peter
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Assembling )Electronic Computers(,Comping )Electronic computers(,، Translators )Computer programs(
رده :
QA
76
.
6
.
C337
15. Building parallel, embedded, and real-time applications with Ada /
پدیدآورنده : McCormick, John W.,8491-
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Ada )Computer program language(,، Parallel programming )Computer science(,، Embedded computer systems- Programming,، Real-time data processing,، Multiprocessors- Programming,، COMPUTERS / Software Development & Engineering / General$2 bisacsh
رده :
QA
76
.
73
.
A35
M375
2011
16. Computer science, a mathematical introduction: : applied mathematics--modeling, analysis, and optimization techniques with applications to software systems
پدیدآورنده : Lew, Art
موضوع : ، Computer science- Mathematics,، Electronic digital computers- Programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
17. Computer-aided design of language processors
پدیدآورنده : Shangin, V. F.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Translators )Computer programs(,، Computer-aided software engineering,، Programming languages )Electronic computers(
رده :
QA
76
.
76
.
T83
S53
18. Computer aided verification : fourth International Workshop, CAV'92, Montreal, Quebec, 1992 : proceedings
پدیدآورنده : G.V. Bochmann, D.K. Probst )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
663
19. Computer aided verification: fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Computer software-- Verification,Congresses ، Electronic digital computers-- Evaluation
رده :
QA
76
.
76
.
E93
.
C38
1993
20. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings
پدیدآورنده : G. v. Bochmann, D.K. Probst, eds
کتابخانه: (طهران)
موضوع : Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses
رده :
QA
76
.
76
.
V47
C38
1993
